Criticality and Parallelism in GSAT
نویسنده
چکیده
منابع مشابه
Identifying , Quantifying , Extracting and Enhancing Implicit Parallelism
The shift of the microprocessor industry towards multicore architectures has placed a huge burden on the programmers by requiring explicit parallelization for performance. Implicit Parallelization is an alternative that could ease the burden on programmers by parallelizing applications “under the covers” while maintaining sequential semantics externally. This thesis develops a novel approach fo...
متن کاملA Study of the Role of Repetition of Music in the Nimayee Poems of Akhavan Sales
In this article, the aim of the authors is to study the role of repetition in creating music and parallelism in Nimayee poems in the three collections of poems by Mehdi Akhavan Sales: Zamestan, Akhere Shahname and Az Avesta. Accordingly, the researchers have investigated the various manners of repetition in creating parallelism in the poems at three levels: phonological parallelism, lexical par...
متن کاملProblem structure and multi-move local search: Criticality and parallelism revisited
The impact of problem structure on search is a relevant issue in AI research and related areas. This topic has been recently received more attention, due to the following reasons: (i) real-world problems are often more difficult to solve than random generated problems of the same size and (ii) results obtained by applying statistical mechanics techniques (such as phase transition analysis [3]) ...
متن کاملPhysical and kinetic interactions between glutamyl-tRNA reductase and glutamate-1-semialdehyde aminotransferase of Chlamydomonas reinhardtii.
In plants, algae, and most bacteria, the heme and chlorophyll precursor 5-aminolevulinic acid (ALA) is formed from glutamate in a three-step process. First, glutamate is ligated to its cognate tRNA by glutamyl-tRNA synthetase. Activated glutamate is then converted to a glutamate 1-semialdehyde (GSA) by glutamyl-tRNA reductase (GTR) in an NADPH-dependent reaction. Subsequently, GSA is rearranged...
متن کاملWeighting for Godot: Learning euristics for GSAT
We investigate an improvement to GSAT which associates a weight with each clause. GSAT moves to assignments maximizing the weight of satisfied clauses and this weight is incremented when GSAT moves to an assignment in which this clause is unsatisfied. We present results showing that this algorithm and its variants outperform one of the best known modifications of GSAT to date using two metrics:...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electronic Notes in Discrete Mathematics
دوره 9 شماره
صفحات -
تاریخ انتشار 2001